#include <stdio.h>
int main()
{
	int a = 0, b = 0;
	b = a--;
	printf("b=%d\n", b);
	printf("a=%d\n", a);
	return 0;
}